Discrete Math
Notes
Links
Unit 1: Proofs
Proof: A mathematical proof of a proposition is a chain of logical deductions leading to the proposition from a base set of axioms.
Inferences
modus ponens: a proof of P + proof that P implies Q is a proof of Q